Morphisms Into Chains . Part I
نویسنده
چکیده
Let X be a set. Note that there exists a subset of X which is trivial. Let X be a trivial set. Observe that every subset of X is trivial. Let L be a 1-sorted structure. Note that there exists a subset of L which is trivial. Let L be a relational structure. Note that there exists a subset of L which is trivial. Let L be a non empty 1-sorted structure. Note that there exists a subset of L which is non empty and trivial. Let L be a non empty relational structure. Observe that there exists a subset of L which is non empty and trivial. One can prove the following propositions:
منابع مشابه
A classification of hull operators in archimedean lattice-ordered groups with unit
The category, or class of algebras, in the title is denoted by $bf W$. A hull operator (ho) in $bf W$ is a reflection in the category consisting of $bf W$ objects with only essential embeddings as morphisms. The proper class of all of these is $bf hoW$. The bounded monocoreflection in $bf W$ is denoted $B$. We classify the ho's by their interaction with $B$ as follows. A ``word'' is a function ...
متن کاملMorphisms on Marked Graphs
Abstract. Many kinds of morphisms on Petri nets have been defined and studied. They can be used as formal techniques supporting refinement/abstraction of models. In this paper we introduce a new notion of morphism on marked graphs, a class of Petri nets used for the representation of systems having deterministic behavior. Such morphisms can indeed be used to represent a form of abstraction on m...
متن کاملRelations in Categories
This thesis investigates relations over a category C relative to an (E;M)-factorization system of C. In order to establish the 2-categoryRel(C) of relations over C in the rst part we discuss su cient conditions for the associativity of horizontal composition of relations, and we investigate special classes of morphisms in Rel(C). Attention is particularly devoted to the notion of mapping as de ...
متن کاملThe Boundedness of Degree of Fano Varieties with Picard Number One
CONTENTS O. Introduction 1. Rational curves 1.1. Deformation theory of morphisms 1.2. Free rational curves 1.3. The invariant d(M) 2. Special subvarieties in Fano varieties of large degree 2.1. The statement 2.2. A Siegel type lemma 2.3. Multiplicity subspaces 2.4. The product theorem, part I 2.S. The product theorem, part II 2.6. The proof 3. The covering lemma 4. Collections of subsets 4.1. B...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کامل